$\forall$$T$:Type, $R_{1}$, $R_{2}$:($T$$\rightarrow$$T$$\rightarrow$Prop).
\\[0ex](Sym $x$,$y$:$T$. $x$ $R_{1}$ $y$) $\Rightarrow$ (Sym $x$,$y$:$T$. $x$ $R_{2}$ $y$) $\Rightarrow$ (Sym $x$,$y$:$T$. $x$ ($R_{1}$ $\vee$ $R_{2}$) $y$)